Automated Composition of Timed Services by Planning as Model Checking
نویسندگان
چکیده
Techniques of automated service composition can shorten development time by generating a concrete service composition out of a set of abstract composition requirements. However, no existing fully automated approach is able to deal with timed services and timed composition requirements. In this work, we propose an approach for the automated composition of timed services, represented as timed i/o automata, by adapting the AI planning method Planning as Model Checking. Thus, the concept of automated service composition can be used in domains with real-time requirements. As case study, we model a system where medical devices need synchronization during surgery.
منابع مشابه
Automated composition of timed services in medical applications
The development of controller programs that coordinate distributed components in safety and time-critical environments is a very complex task. On the one hand, correctness has to be assured, which results in extensive phases of quality assurance. On the other hand, development time has to be short to achieve low development costs and a short time-to-market. In this thesis, we address the proble...
متن کاملMapping Temporal Planning Constraints into Timed Automata
Planning and Model Checking are similar in concept. They both deal with reaching a goal state from an initial state by applying specified rules that allow for the transition from one state to another. Exploring the relationship between them is an interesting new research area. We are interested in planning frameworks that combine both planning and scheduling. For that, we focus our attention on...
متن کاملAdapting an AI Planning Heuristic for Directed Model Checking
There is a growing body of work on directed model checking, which improves the falsi cation of safety properties by providing heuristic functions that can guide the search quickly towards short error paths. Techniques of this kind have also been made very successful in the area of AI Planning. Our main technical contribution is the adaptation of the most successful heuristic function from AI Pl...
متن کاملComposition of Web Services: From Qualitative to Quantitative Timed Properties
Dealing with service composition is an important and challenging issue of distributed systems. Existing works investigate mechanisms for analyzing and synthesizing a composition based on qualitative properties which characterize operations and/or messages choreography constraints. Apart from these qualitative properties, quantitative properties such as time related features are a crucial settin...
متن کاملTowards Automated Choreographing of Web Services Using Planning
For Web service composition, choreography has recently received great attention and demonstrated a few key advantages over orchestration such as distributed control, fairness, data efficiency, and scalability. Automated design of choreography plans, especially distributed plans for multiple roles, is more complex and has not been studied before. Existing work requires manual generation assisted...
متن کامل